Symbolic integration - PDFSEARCH.IO - Document Search Engine

Symbolic integration
Results: 13

#	Item
1	Teacher Notes for Integrals Compatibility: TI-83+/83+SE/84+/84+SE Run The Program Called: INTEGRAL X Summary This program provides a graphical display and numerical answers for areas under and between functions. It prove Add to Reading List Source URL: www.calculatorsoftware.co.uk Language: English - Date: 2013-01-27 17:16:14 Mathematical analysis Numerical integration Integral Integral calculus Trapezoidal rule Numerical analysis Pi Lebesgue integration Improper integral Symbolic integration
2	Toward the Integration of Symbolic and Numerical Static Analysis Arnaud Venet Kestrel Technology 3260 Hillview Avenue Palo Alto, CA 94304 Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-10-11 03:37:12
3	CalculemusThe 16th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning Calculemus 2009 Emerging Trends Add to Reading List Source URL: www.calculemus.net Language: English - Date: 2009-08-28 11:37:21 Theoretical computer science Algorithm Correctness RSA Metamath Symbolic computation Recursion
4	Report from Dagstuhl SeminarArtificial and Computational Intelligence in Games: Integration Edited by Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2015-05-18 01:39:51 Artificial intelligence Game theory Academia Formal sciences Computational neuroscience Technology Science and technology Game artificial intelligence General video game playing Artificial general intelligence Game design Symbolic artificial intelligence
5	Toward the Integration of Symbolic and Numerical Static Analysis Arnaud Venet Kestrel Technology 3260 Hillview Avenue Palo Alto, CA 94304 Add to Reading List Source URL: ti.arc.nasa.gov Language: English - Date: 2012-09-04 16:57:56
6	Symbolic Integration in Differential Fields Clemens G. Raab Algorithms Seminar, INRIA-Rocquencourt November 28, 2011 Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2011-11-29 11:41:21 Integral calculus Integral Antiderivative Symbolic integration Ordinary differential equation Iterated integral Functional integration Calculus Mathematical analysis Mathematics
7	On the White Box Integration of Computer Algebra Algorithms into a Deduction System Diplomarbeit von Frank Theiß Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:23 Symbolic computation Mathematics Applied mathematics Algebra Algorithm Mathematical logic Axiom Mathematician Computer Software Computer algebra system Computer science
8	Semantic Integration of Mimetics in Japanese Natsuko Tsujimura & Masanori Deguchi Indiana University 1 Introduction Mimetics are by nature sound-symbolic and/or iconic, and have been cross-linguistically demonstrated to Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2013-09-04 10:39:14 Grammatical aspect Reduplication Japanese sound symbolism Japanese language Preposition and postposition Linguistics Grammar Telicity
9	The Integration of Mathematics Discourse, Graphical Reasoning and Symbolic Expression by a Virtual Math Team Murat Perit Çakır, Informatics Institute, Middle East Technical University, Ankara, Turkey Gerry Stahl, Schoo Add to Reading List Source URL: gerrystahl.net Language: English - Date: 2012-05-30 10:33:01 Collaboration Educational psychology Internet culture Social information processing Mathematics Computer-supported collaborative learning Hexagon Mathematical object E-learning Education Online chat Knowledge
10	Computex! Cakulus "Awesome Add to Reading List Source URL: www.stolaf.edu Language: English - Date: 2013-03-22 10:35:01 Office equipment Computer arithmetic Computer algebra system Symbolic integration Macsyma Algebra Software calculator Numerical analysis Floating point Software Mathematics Computing

UPDATE